Implication Details

Assumptions: self-dual, strict initial object

Conclusions: strict terminal object

Proof: This holds by self-duality.

Show 1 category using this implication